Fix PAE shadow on a machine with RAM above 4G on x86_64 xen.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 31 Oct 2005 16:08:54 +0000 (17:08 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 31 Oct 2005 16:08:54 +0000 (17:08 +0100)
commitc8cbe00b0f571750fa74275acd5b82118b7911fa
tree57355090ef2d6dff4c532b1c9b2e98c218442737
parent2fb80a5353f823af1d593e1f69e02ff5acee0595
Fix PAE shadow on a machine with RAM above 4G on x86_64 xen.
Currently, on a machine with RAM above 4G, we can not run 32bit VMX
guest on x86_64 xen, the root cause is that the PAE page table PDPT must
below 4G, this patch fixes this issue.

Signed-off-by: Xin Li <xin.b.li@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
xen/arch/x86/shadow.c